RECONFIGURATION OF DISCRETE EVENT SYSTEM CONTROLLERS WITH DYNAMIC SENSING SET
نویسندگان
چکیده
منابع مشابه
Controllers for Discrete Event Systems
We study the problem of synthesising controllers for discrete event systems. Traditionally this problem is tackled in a linear time setting. Moreover, the desired subset of the computations of the uncontrolled system (often called a plant) is speciied by automata theoretic means. Here we formulate the problem in a branching time framework. We use a class of labelled transition systems to model ...
متن کاملDynamic Adaptation through Event Reconfiguration
We introduce a new programming language called INI, which eases the development of self-adaptive software. INI combines both rulebased and event-based programming paradigms, by allowing the definitions of rules that can be triggered by events. Besides a convenient language-level support for synchronization, the key point with INI events is that they come with a configuration layer, which is set...
متن کاملDiscrete Event Approximation of Continuous Controllers
This paper introduces Quantized-State Control, a method for the digital asynchronous implementation of controllers designed in continuous time. Through the quantization of its state and input variables the original continuous controller is mapped into a discrete event system within the DEVS formalism framework that can be implemented in a digital device. It is shown that, under certain conditio...
متن کاملBranching time controllers for discrete event systems
We study the problem of synthesizing controllers for discrete event systems in a branching time framework. We use a class of labelled transition systems to model both plants and speci,cations. We use ,rst simulations and later bisimulations to capture the role of a controller; the controlled behaviour of the plant should be related via a simulation (bisimulation) to the speci,cation. For both s...
متن کاملApplication of Discrete Event System to Insect Population Dynamic
This work describes an application of queueing network to model the insect population. The interarrival time and service time are both exponentially distributed. Preliminary results have been obtained to show the development of the insect population. Future work for the model’s potential development and uses are also discussed. Index Terms – Discrete event system; Queueing system; Olive fly; Po...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC Proceedings Volumes
سال: 2005
ISSN: 1474-6670
DOI: 10.3182/20050703-6-cz-1902.01446